13.25/14.85	unsat
