4.27/5.82	unsat
