14.37/14.44	unsat
