11.39/14.68	unsat
