7.87/7.95	unsat
