4.02/5.71	unsat
