22.02/24.81	unsat
