4.96/5.12	unsat
