12.47/14.57	unsat
