19.24/20.01	unsat
