5.28/5.71	unsat
