4.88/5.12	unsat
