6.98/12.74	unsat
