11.97/13.25	unsat
