7.74/7.95	unsat
