7.88/12.93	unsat
