17.97/19.01	unsat
