12.95/14.25	unsat
