5.07/5.12	unsat
