7.87/7.99	unsat
