5.26/7.51	unsat
