11.47/13.23	unsat
