4.96/5.81	unsat
