7.88/8.14	unsat
