11.39/14.32	unsat
