19.36/22.01	unsat
