12.17/14.57	unsat
