5.25/7.95	unsat
