23.34/24.04	unsat
