17.45/17.85	unsat
