17.33/19.01	unsat
