13.25/14.82	unsat
