8.68/12.28	unsat
