12.37/14.78	unsat
