17.66/20.01	unsat
