7.98/12.24	unsat
