12.49/14.58	unsat
