13.47/13.57	unsat
