17.96/18.01	unsat
