4.89/5.71	unsat
