4.66/5.71	unsat
