12.46/13.57	unsat
