20.46/22.01	unsat
