4.87/5.12	unsat
