12.82/14.37	unsat
