2.68/5.28	unsat
