5.27/5.71	unsat
