24.13/24.98	unsat
