5.28/7.95	unsat
