14.27/14.85	unsat
