7.98/10.14	unsat
