6.54/7.95	unsat
