12.37/14.02	unsat
