7.48/12.68	unsat
