11.67/15.07	unsat
