17.56/18.85	unsat
