12.39/14.32	unsat
