21.84/22.01	unsat
