13.66/16.25	unsat
