6.98/12.37	unsat
