12.47/13.24	unsat
