18.27/20.01	unsat
