12.25/14.93	unsat
