7.09/15.74	unsat
