5.08/7.52	unsat
