21.84/24.01	unsat
