7.87/7.90	unsat
