5.27/7.95	unsat
