12.87/13.25	unsat
