18.94/20.01	unsat
