17.94/18.09	unsat
