23.84/24.56	unsat
