12.46/13.25	unsat
