5.37/5.71	unsat
