4.84/5.12	unsat
