24.53/41.15	unsat
