13.25/13.95	unsat
