12.28/14.57	unsat
