22.26/24.01	unsat
