23.34/24.91	unsat
