17.85/18.01	unsat
