7.87/7.93	unsat
